perm filename TA[1,3] blob sn#236952 filedate 1976-09-19 generic text, type T, neo UTF8
(LEAVING 1 OUTC) NIL

(DEFPROP INTEGER (NIL) ADINFO) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP INTEGER (NIL) KIND) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP INTEGER (NIL) CLASS) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP INTEGER (TYPE_ID) CLASS) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP INTEGER (SCALAR) KIND) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP INTEGER ((PRIMITIVE INTEGER)) ADINFO) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP REAL (NIL) ADINFO) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP REAL (NIL) KIND) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP REAL (NIL) CLASS) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP REAL (TYPE_ID) CLASS) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP REAL (SCALAR) KIND) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP REAL ((PRIMITIVE REAL)) ADINFO) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP BOOLEAN (NIL) ADINFO) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP BOOLEAN (NIL) KIND) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP BOOLEAN (NIL) CLASS) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP BOOLEAN (TYPE_ID) CLASS) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP BOOLEAN (SCALAR) KIND) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP BOOLEAN ((ENUMERATION (TRUE FALSE))) ADINFO) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP TRUE (NIL) ADINFO) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP TRUE (NIL) KIND) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP TRUE (NIL) CLASS) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP TRUE (CONSTANT) CLASS) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP TRUE (BOOLEAN) KIND) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP TRUE (1) ADINFO) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP FALSE (NIL) ADINFO) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP FALSE (NIL) KIND) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP FALSE (NIL) CLASS) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP FALSE (CONSTANT) CLASS) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP FALSE (BOOLEAN) KIND) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP FALSE (2) ADINFO) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP NIL (NIL) ADINFO) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP NIL (NIL) KIND) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP NIL (NIL) CLASS) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP NIL (CONSTANT) CLASS) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP NIL (!ANY) KIND) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP NIL (NIL) ADINFO) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP /.MAIN/. (NIL) ADINFO) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP /.MAIN/. (NIL) KIND) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP /.MAIN/. (NIL) CLASS) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP /.MAIN/. (NIL) FORWARD) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP /.MAIN/. (NIL) GLOBAL) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP /.MAIN/. (NIL) INITIAL) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP /.MAIN/. (NIL) ENTRY) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP /.MAIN/. (NIL) EXIT) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP /.MAIN/. (PROCEDURE) CLASS) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP TE (NIL) ADINFO) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP TE (NIL) KIND) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP TE (NIL) CLASS) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP TE (NIL) FORWARD) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP TE (NIL) GLOBAL) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP TE (NIL) INITIAL) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP TE (NIL) ENTRY) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP TE (NIL) EXIT) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP TE (PROCEDURE) CLASS) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP X (NIL) ADINFO) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP X (NIL) KIND) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP X (NIL) CLASS) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP X (VAR) CLASS) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP X (INTEGER) KIND) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP TE ((1 (VAR X INTEGER))) ADINFO) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP TE ((E X)) ENTRY) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP TE ((O X)) EXIT) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP TE NIL VCS) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP X NIL CLASS) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP X NIL KIND) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP X NIL ADINFO) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP TE NIL GLOBAL) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP TE NIL INITIAL) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP TE NIL ENTRY) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP TE NIL EXIT) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP TE NIL FORWARD) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP TE NIL CLASS) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP TE NIL KIND) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP TE NIL ADINFO) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP /.MAIN/. NIL GLOBAL) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP /.MAIN/. NIL INITIAL) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP /.MAIN/. NIL ENTRY) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP /.MAIN/. NIL EXIT) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP /.MAIN/. NIL FORWARD) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP /.MAIN/. NIL CLASS) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP /.MAIN/. NIL KIND) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP /.MAIN/. NIL ADINFO) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP NIL NIL CLASS) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP NIL NIL KIND) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP NIL NIL ADINFO) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP FALSE NIL CLASS) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP FALSE NIL KIND) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP FALSE NIL ADINFO) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP TRUE NIL CLASS) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP TRUE NIL KIND) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP TRUE NIL ADINFO) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP BOOLEAN NIL CLASS) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP BOOLEAN NIL KIND) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP BOOLEAN NIL ADINFO) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP REAL NIL CLASS) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP REAL NIL KIND) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP REAL NIL ADINFO) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP INTEGER NIL CLASS) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP INTEGER NIL KIND) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

(DEFPROP INTEGER NIL ADINFO) 
(ENTERING 1 OUTC) (OUTC NIL NIL)

(LEAVING 1 OUTC) NIL

NIL 

(ENTERING 1 OUTC) (OUTC)